Θ-symbols (Asymptotically tight bound)
Θ(g(n)) = { f(n):모든 n>n0에 대해 0≤c1g(n)≤f(n)≤c2g(n)인 양의 상수 c1,c2,n0이 존재한다.}
O-symbols (Asymptotically upper bound)
O(g(n)) = { f(n): 모든 n>n0에 대해 0≤f(n)≤cg(n)인 양의 상수 c,n0이 존재한다.
Ω-symbols (Asymptotically lower bound)
Ω(g(n)) = { f(n): 모든 n>n0에 대해 0≤cg(n)≤f(n)인 양의 상수 c,n0이 존재한다.
f(n)=Θ(g(n))↔f(n)=O(g(n), f(n)=Ω(g(n))
o-symbols
o(g(n)) = { f(n): 임의의 양의 상수 c>0에 대해 그리고 모든 n≥n0에 대해 0≤f(n)≤cg(n)인 양의 상수 n0이 존재한다.
limn→∞f(n)g(n)=0
ω-symbols
ω(g(n)) = { f(n): 임의의 양의 상수 c>0에 대해 그리고 모든 n≥n0에 대해 0≤cg(n)≤f(n)인 양의 상수 n0이 존재한다.
limn→∞f(n)g(n)=∞
- 전이성
- 반사성
- 대칭성
- 역대칭성
- 삼분법